mklist($n$; $f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$primrec($n$; []; ($\lambda$$i$,$l$. append($l$; cons(($f$($i$)); []))))